Deepak K. Kapur: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A refutational approach to geometry theorem proving

Journal:

Artificial Intelligence

Year:

1988

Language:

english

File:

PDF, 1.66 MB

english, 1988

2

[Lecture Notes in Computer Science] Theoretical Aspects of Computing – ICTAC 2017 Volume 10580 || ECBC: A High Performance Educational Certificate Blockchain with Efficient Query

Hung, Dang Van, Kapur, Deepak

Year:

2017

Language:

english

File:

PDF, 1.32 MB

english, 2017

3

Geometric reasoning and artificial intelligence: Introduction to the special volume

Deepak Kapur, Joseph L. Mundy

Journal:

Artificial Intelligence

Year:

1988

Language:

english

File:

PDF, 672 KB

english, 1988

4

Prioritizing and Optimizing Disaster Recovery Solution using Analytic Network Process and Multi Attribute Utility Theory

Gupta, Viral, Kapur, P. K., Kumar, Deepak

Journal:

International Journal of Information Technology & Decision Making

Year:

2019

Language:

english

File:

PDF, 323 KB

english, 2019

5

Wu's method and its application to perspective viewing

Deepak Kapur, Joseph L. Mundy

Journal:

Artificial Intelligence

Year:

1988

Language:

english

File:

PDF, 1002 KB

english, 1988

6

[Lecture Notes in Computer Science] Computer Mathematics Volume 5081 || The Four Colour Theorem: Engineering of a Formal Proof

Year:

2008

Language:

english

File:

PDF, 37 KB

english, 2008

7

Financial performance and ownership structure of Ethiopian commercial banks

Journal:

Journal of Economics and International Finance

Year:

2012

Language:

english

File:

PDF, 163 KB

english, 2012

8

Proof by consistency

Deepak Kapur, David R. Musser

Journal:

Artificial Intelligence

Year:

1987

Language:

english

File:

PDF, 1.43 MB

english, 1987

9

A multi-level geometric reasoning system for vision

Michele Barry, David Cyrluk, Deepak Kapur, Joseph Mundy, Van-Duc Nguyen

Journal:

Artificial Intelligence

Year:

1988

Language:

english

File:

PDF, 2.65 MB

english, 1988

10

Bruno Buchberger — A life devoted to symbolic computation

Hoon Hong, Deepak Kapur, Peter Paule, Franz Winkler, Faculty of RISC-Linz

Journal:

Journal of Symbolic Computation

Year:

2006

Language:

english

File:

PDF, 435 KB

english, 2006

11

Transformational methodology for proving termination of logic programs

M.R.K. Krishna Rao, Deepak Kapur, R.K. Shyamasundar

Journal:

The Journal of Logic Programming

Year:

1998

Language:

english

File:

PDF, 2.31 MB

english, 1998

12

[ACM Press the international symposium - Oxford, United Kingdom (1994.07.20-1994.07.22)] Proceedings of the international symposium on Symbolic and algebraic computation - ISSAC '94 - Algebraic and geometric reasoning using Dixon resultants

Kapur, Deepak, Saxena, Tushar, Yang, Lu

Year:

1994

Language:

english

File:

PDF, 949 KB

english, 1994

13

Determinants of Export Performance of Firms: Lessons from Indian Experience

H. Dholakia, Ravindra, Kapur, Deepak

Journal:

Year:

2007

Language:

english

File:

PDF, 7.77 MB

english, 2007

14

Geometric, Algebraic, and Thermophysical Techniques for Object Recognition in IR Imagery

J.D. Michel, N. Nandhakumar, Tushar Saxena, Deepak Kapur

Journal:

Computer Vision and Image Understanding

Year:

1998

Language:

english

File:

PDF, 677 KB

english, 1998

15

Computability and implementability issues in abstract data types

Deepak Kapur, Mandayam Srivas

Journal:

Science of Computer Programming

Year:

1988

Language:

english

File:

PDF, 2.27 MB

english, 1988

16

A finite thue system with decidable word problem and without equivalent finite canonical system

Deepak Kapur, Paliath Narendran

Journal:

Theoretical Computer Science

Year:

1985

Language:

english

File:

PDF, 461 KB

english, 1985

17

Inference rules and proof procedures for inequations

Chilukuri K. Mohan, Mandayam K. Srivas, Deepak Kapur

Journal:

The Journal of Logic Programming

Year:

1990

Language:

english

File:

PDF, 3.51 MB

english, 1990

18

Operational Termination of Conditional Rewriting with Built-in Numbers and Semantic Data Structures

Stephan Falke, Deepak Kapur

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 326 KB

english, 2009

19

Constructing Sylvester-type resultant matrices using the Dixon formulation

Arthur D. Chtcherba, Deepak Kapur

Journal:

Journal of Symbolic Computation

Year:

2004

Language:

english

File:

PDF, 516 KB

english, 2004

20

Preface on the contributed papers

Journal:

Journal of Symbolic Computation

Year:

2006

Language:

english

File:

PDF, 105 KB

english, 2006

21

Cayley–Dixon projection operator for multi-univariate composed polynomials

Arthur D. Chtcherba, Deepak Kapur, Manfred Minimair

Journal:

Journal of Symbolic Computation

Year:

2009

Language:

english

File:

PDF, 1.39 MB

english, 2009

22

Exact resultants for corner-cut unmixed multivariate polynomial systems using the Dixon formulation

Arthur D. Chtcherba, Deepak Kapur

Journal:

Journal of Symbolic Computation

Year:

2003

Language:

english

File:

PDF, 424 KB

english, 2003

23

Automating inductionless induction using test sets

Deepak Kapur, Paliath Narendran, Hantao Zhang

Journal:

Journal of Symbolic Computation

Year:

1991

Language:

english

File:

PDF, 1.84 MB

english, 1991

24

Using Gröbner bases to reason about geometry problems

Journal:

Journal of Symbolic Computation

Year:

1986

Language:

english

File:

PDF, 650 KB

english, 1986

25

Complexity of matching problems

Dan Benanav, Deepak Kapur, Paliath Narendran

Journal:

Journal of Symbolic Computation

Year:

1987

Language:

english

File:

PDF, 633 KB

english, 1987

26

Computing a Gröbner basis of a polynomial ideal over a Euclidean domain

Äbdelilah Kandri-Rody, Deepak Kapur

Journal:

Journal of Symbolic Computation

Year:

1988

Language:

english

File:

PDF, 1.33 MB

english, 1988

27

Only prime superpositions need be considered in the Knuth-Bendix completion procedure

Deepak Kapur, David R. Musser, Paliath Narendran

Journal:

Journal of Symbolic Computation

Year:

1988

Language:

english

File:

PDF, 1.14 MB

english, 1988

28

Designing a Controller for a Multi-Train Multi-Track System

Deepak Kapur, Victor L. Winter, Raymond S. Berg

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 327 KB

english, 2001

29

New uses of linear arithmetic in automated theorem proving by induction

Deepak Kapur, M. Subramaniam

Journal:

Journal of Automated Reasoning

Year:

1996

Language:

english

File:

PDF, 2.07 MB

english, 1996

30

Proving equivalence of different axiomatizations of free groups

Deepak Kapur, Hantao Zhang

Journal:

Journal of Automated Reasoning

Year:

1988

Language:

english

File:

PDF, 927 KB

english, 1988

31

Complexity of unification problems with associative-commutative operators

Deepak Kapur, Paliath Narendran

Journal:

Journal of Automated Reasoning

Year:

1992

Language:

english

File:

PDF, 1.56 MB

english, 1992

32

On sufficient-completeness and related properties of term rewriting systems

Deepak Kapur, Paliath Narendran, Hantao Zhang

Journal:

Acta Informatica

Year:

1987

Language:

english

File:

PDF, 1.11 MB

english, 1987

33

Opening the AC-unification race

Hans-Jürgen Bürckert, Alexander Herold, Deepak Kapur, Jörg H. Siekmann, Mark E. Stickel, Michael Tepp, Hantao Zhang

Journal:

Journal of Automated Reasoning

Year:

1988

Language:

english

File:

PDF, 578 KB

english, 1988

34

A path ordering for proving termination of AC rewrite systems

Deepak Kapur, G. Sivakumar, Hantao Zhang

Journal:

Journal of Automated Reasoning

Year:

1995

Language:

english

File:

PDF, 1.67 MB

english, 1995

35

Sufficient-completeness, ground-reducibility and their complexity

Deepak Kapur, Paliath Narendran, Daniel J. Rosenkrantz, Hantao Zhang

Journal:

International Journal of Biometeorology

Year:

1992

Language:

english

File:

PDF, 2.16 MB

english, 1992

36

Sufficient-completeness, ground-reducibility and their complexity

Deepak Kapur, Paliath Narendran, Daniel J. Rosenkrantz, Hantao Zhang

Journal:

Acta Informatica

Year:

1991

Language:

english

File:

PDF, 2.16 MB

english, 1991

37

Unnecessary inferences in associative-commutative completion procedures

Hantao Zhang, Deepak Kapur

Journal:

Theory of Computing Systems

Year:

1990

Language:

english

File:

PDF, 2.30 MB

english, 1990

38

Obituary

Journal:

Journal of Automated Reasoning

Year:

2004

Language:

english

File:

PDF, 589 KB

english, 2004

39

Using an induction prover for verifying arithmetic circuits

Deepak Kapur, Mahadevan Subramaniam

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2000

Language:

english

File:

PDF, 481 KB

english, 2000

40

Access, satisfaction, and future: undergraduate education at the Indian Institutes of Technology

Roli Varma, Deepak Kapur

Journal:

Higher Education

Year:

2010

Language:

english

File:

PDF, 213 KB

english, 2010

41

Preface

Deepak Kapur, Laurent Vigneron

Journal:

Journal of Automated Reasoning

Year:

2004

Language:

english

File:

PDF, 59 KB

english, 2004

42

Preface

Journal:

Journal of Automated Reasoning

Year:

2004

Language:

english

File:

PDF, 64 KB

english, 2004

43

Preface

Jügen Giesl, Deepak Kapur

Journal:

Journal of Automated Reasoning

Year:

2005

Language:

english

File:

PDF, 110 KB

english, 2005

44

Preface

Jürgen Giesl, Deepak Kapur

Journal:

Journal of Automated Reasoning

Year:

2005

Language:

english

File:

PDF, 56 KB

english, 2005

45

Third Special Issue on Techniques for Automated Termination Proofs

Jürgen Giesl, Deepak Kapur

Journal:

Journal of Automated Reasoning

Year:

2006

Language:

english

File:

PDF, 134 KB

english, 2006

46

A Quantifier-Elimination Based Heuristic for Automatically Generating Inductive Assertions for Programs

Journal:

Journal of Systems Science and Complexity

Year:

2006

Language:

english

File:

PDF, 318 KB

english, 2006

47

An Algorithm for Computing a Gröbner Basis of a Polynomial Ideal over a Ring with Zero Divisors

Deepak Kapur, Yongyang Cai

Journal:

Mathematics in Computer Science

Year:

2009

Language:

english

File:

PDF, 726 KB

english, 2009

48

Semi-unification

Deepak Kapur, David Musser, Paliath Narendran, Jonathan Stillman

Journal:

Theoretical Computer Science

Year:

1991

Language:

english

File:

PDF, 1.90 MB

english, 1991

49

Objective measurement of periocular pigmentation

Janet Agnes Lee, Smajo Osmanovic, Marlos A. G. Viana, Rashmi Kapur, Beeran Meghpara, Deepak P. Edward

Journal:

Photodermatology, Photoimmunology & Photomedicine

Year:

2008

Language:

english

File:

PDF, 612 KB

english, 2008

50

Preface

Deepak Kapur, Dongming Wang

Journal:

Journal of Automated Reasoning

Year:

1998

Language:

english

File:

PDF, 16 KB

english, 1998

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски